Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
511	Generation of High Performance DomainSpecific Languages from Component Libraries Ken Kennedy Rice University Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2005-05-18 16:35:42 Procedural programming languages Compiler construction Fortran IBM software Programming language John Backus Compiler Ken Kennedy Pascal Computing Software engineering Programming language theory
512	SIGAda Awards 2011 Outstanding Ada Community Contribution Award 42 Previous Recipients Peter Amey Add to Reading List Source URL: www.sigada.org Language: English - Date: 2011-11-14 12:33:12 Programming language theory Ada Ravenscar profile Robert Dewar Jean Ichbiah LIS GNAT Andy Wellings SPARK Computing Software engineering Ada programming language
513	Evaluating the dynamic behaviour of Python applications Alex Holkner James Harland School of Computer Science Add to Reading List Source URL: crpit.com Language: English - Date: 2012-01-19 01:28:48 Type theory Scripting languages Object-oriented programming Data types Cross-platform software Python Dynamic programming language Type system Dynamic dispatch Software engineering Computing Computer programming
514	Claudio Vittorio Russo UK Address: Nationality: 3F1 12 Dryden Street Date of Birth: Edinburgh, EH7 4PN Add to Reading List Source URL: www.dcs.ed.ac.uk Language: English - Date: 1999-06-03 18:41:49 Logic in computer science Functional languages Procedural programming languages Programming paradigms Type theory Denotational semantics ML Programming language Common Object Request Broker Architecture Software engineering Computing Theoretical computer science
515	The LLVM Instruction Set and Compilation Strategy Chris Lattner Vikram Adve University of Illinois at Urbana-Champaign lattner,vadve @cs.uiuc.edu Add to Reading List Source URL: llvm.org Language: English - Date: 2010-02-25 20:19:41 Programming language implementation Compiler construction Data types Type theory Compilers LLVM Pointer Compiler optimization Compiler Software engineering Computing Computer programming
516	Memphis Language Reference Manual This document specifies Memphis, an extension of C/C++ [1, 2], that supports the definition and processing of symbolic data such as abstract syntax trees in compilers. Memphis provides a Add to Reading List Source URL: memphis.compilertools.net Language: English - Date: 2006-03-28 08:30:40 Procedural programming languages Type theory Standard ML Conditional Pattern matching ALGOL 68 Hindley–Milner Forward declaration C syntax Software engineering Programming language theory Computing
517	Rapid Case Dispatch in Scheme William D Clinger Northeastern University Abstract Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:25:19 Procedural programming languages Compiler construction Lisp programming language Cross-platform software Functional languages Scheme Lisp Compiler ALGOL 68 Software engineering Computing Programming language theory
518	Perl versiondocumentation - IPC::Semaphore NAME IPC::Semaphore - SysV Semaphore IPC object class SYNOPSIS Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:03:33 Programming language theory POSIX Semaphore Software engineering Stat ALGOL 68 Computing Concurrency control C POSIX library
519	Forth 200x Standards Committee #3 Schloss Dagstuhl, Germany. 13–14 September 2007 Minutes 1. Participants Sergey Baranov Add to Reading List Source URL: www.forth200x.org Language: English - Date: 2009-09-22 15:19:57 Marketing Proposal HTML element PK machine gun Forth Programming language theory Computing Sales Software engineering
520	How to Use the WRF Registry John Michalakes, NCEP Dave Gill, NCAR WRF Software Architecture Working Group Add to Reading List Source URL: www2.mmm.ucar.edu Language: English - Date: 2015-02-04 17:11:21 Procedural programming languages Data types C programming language C++ C Cross-platform software Array data type Typedef Windows Registry Software engineering Computing Programming language theory

UPDATE